Extending Functional Languages with High-Level Exception Handling
نویسنده
چکیده
We extend functional languages with high-level exception handling. To be specific, we allow sequential-choice expressions of the form E0 ▽ E1 where E0, E1 are expressions. These expressions have the following intended semantics: sequentially choose the first successful Ei and evaluate Ei where i = 0 or 1. These expressions thus allow us to specify an expression E0 with the failure-handling (exception handling) routine, i.e., expression E1. key words: functions, exception handling, failure handling.
منابع مشابه
IFM2005 Doctoral Symposium on Integrated Formal Methods
Current mechanizations of programming logics are often in the form of verification condition generators. These frontends to a prover translate a program and assertions into conditions that when proven state that the program fulfils its assertions. Traditional verification condition generators are monolithic encapsulations of a programming language’s semantics. This makes it hard to build such v...
متن کاملCertified Proofs in Programs Involving Exceptions
Exception handling is provided by most modern programming languages. It allows to deal with anomalous or exceptional events which require special processing. In computer algebra, exception handling is an efficient way to implement the dynamic evaluation paradigm: for instance, in linear algebra, dynamic evaluation can be used for applying programs which have been written for matrices with coeff...
متن کاملAspects of Exceptions at the Meta-Level (Position Paper)
This paper describes the design and usage of a metaobject protocol that explicitly includes support for handling exceptions. We do not propose implementing exception mechanisms anew [3, 5] or proposing a unified meta-level software architecture for exception handling [4]. To make our discussion concrete we describe an extension of the Kava [9] metaobject protocol that includes exceptions as fir...
متن کاملIssues with Exception Handling in Object-Oriented Systems
The goals of exception handling mechanisms are to make programs more reliable and robust. The integration of exception handling mechanisms with object-oriented languages raises some unique issues. The requirements of exception handling often conflict with some of the goals of object-oriented designs, such as supporting design evolution, functional specialization, and abstraction for implementat...
متن کاملComputer Arithmetic – A Programmer’s Perspective (invited talk)
Advances in computer hardware often have little impact until they become accessible to programmers using high-level languages. For example, the IEEE floating-point arithmetic standard provides various rounding modes and exceptions, but it is difficult or impossible to take advantage of these from most high-level languages, so the full capabilities of IEEE-compatible hardware are seldom used. Wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1709.04619 شماره
صفحات -
تاریخ انتشار 2017